reduction of quadratic form to canonical form